состоять как из формальных

См. также в других словарях:

• ЗАКОН МОИСЕЕВ — [евр. греч. νόμος Μωυσέως], сообщенный Богом прор. Моисею свод предписаний и постановлений, регулирующий религ. и общественную жизнь народа Израиля и отдельных его членов. В ранних иудейской и христ. традициях и в церковной науке существует также …   Православная энциклопедия

• МЕТАТЕОРИЯ — (от греч. meta после, за, позади) теория, изучающая язык, структуру и свойства некоторой др. теории. Теория, свойства которой исследуются в М., называется предметной, или объектной, теорией. Наиболее развиты М. в логике и математике (металогика И …   Философская энциклопедия

• СТО Газпром 2-1.12-064-2006: Методика оценки технико-коммерческих предложений на поставку материально-технических ресурсов, работ и услуг — Терминология СТО Газпром 2 1.12 064 2006: Методика оценки технико коммерческих предложений на поставку материально технических ресурсов, работ и услуг: 4.2.2 Взаимосвязь обобщенных (сложных) и простых критериев. Для оценки отдельно технической,… …   Словарь-справочник терминов нормативно-технической документации

• ДОКАЗАТЕЛЬСТВО — рассуждение, устанавливающее истинность к. л. утверждения путем приведения др. утверждений, истинность которых уже установлена. В Д. различаются тезис утверждение, которое нужно доказать, и основание, или аргументы, те утверждения, с помощью… …   Философская энциклопедия

• Когнитивное развитие — (от англ. Cognitive development)  развитие всех видов мыслительных процессов, таких как восприятие, память, формирование понятий, решение задач, воображение и логика. Теория когнитивного развития была разработана швейцарским философом и… …   Википедия

• ЭСТЕТИКА — (от греч. aisthetikos чувствующий, чувственный) филос. дисциплина, изучающая природу всего многообразия выразительных форм окружающего мира, их строение и модификацию. Э. ориентирована на выявление универсалий в чувственном восприятии… …   Философская энциклопедия

• МАТЕМАТИЧЕСКАЯ ЛИНГВИСТИКА — математическая дисциплина, предметом к рой является разработка и изучение понятий, образующих основу формального аппарата для описания строения естественных языков (т. е. метаязыка лингвистики). Возникновение М. л. можно отнести приблизительно к… …   Математическая энциклопедия

• МЕТОД — (от греч. methodos путь, способ исследования, обучения, изложения) совокупность приемов и операций познания и практической деятельности; способ достижения определенных результатов в познании и практике. Применение того или иного М. определяется… …   Философская энциклопедия

• Договор — (Contract) Понятие договора, виды договоров, условия договоров Информация о понятии договора, виды договоров, условия договоров Содержание > Содержание Понятие и значение . Договор и сфера его применения. Законодательное регулирование соглашения …   Энциклопедия инвестора

• C++ — У этого термина существуют и другие значения, см. C. См. также: Си (язык программирования) C++ Семантика: мультипарадигмальный: объектно ориентированное, обобщённое, процедурное, метапрограммирование Тип исполнения: компилируемый Появился в …   Википедия

• Расширенная форма Бэкуса — Наура — (расширенная Бэкус Наурова форма (РБНФ)) (англ. Extended Backus–Naur Form (EBNF)) формальная система определения синтаксиса, в которой одни синтаксические категории последовательно определяются через другие. Используется для описания контекстно… …   Википедия